theory of machine lecture